$\forall$$p$:FinProbSpace, $A$, $B$:p{-}open($p$). p{-}union($A$;$B$) $\in$ p{-}open($p$)